Restore another execute-bit.
authorGlenn Morris <rgm@gnu.org>
Fri, 3 Dec 2010 17:40:46 +0000 (09:40 -0800)
committerGlenn Morris <rgm@gnu.org>
Fri, 3 Dec 2010 17:40:46 +0000 (09:40 -0800)
commit2fdd2cb9b2abda694ba2e53809dda7795f8d6e5a
tree52b31d6e240e66aeb3c6dece3faea1c85846d1b5
parentf65479441d457153a97b1ba4256f7cfe45dddc6c
Restore another execute-bit.
make-dist [changed mode: 0644->0755]